((v9 v7 7) (v8 v6 2) (v2 v5 5) (v4 v1 1) (v6 v3 8) (v4 v2 5) (v1 v9 5) (v5 v9 9) (v5 v1 0) (v2 v3 3) (v5 v8 4) (v6 v4 0) (v2 v6 3) (v3 v7 8) (v7 v2 0) (v1 v8 0) (v7 v6 9) (v9 v8 0))
80
((v1 v7))